Stepwise Refinement of Control Software - A Case Study Using RAISE
نویسندگان
چکیده
We develop a control program for a realistic automation problem by stepwise reenement. We focus on exemplifying appropriate levels of abstraction for the reenement steps. By using phases as a means for abstraction, safety requirements are speciied on a high level of abstraction and can be veriied using process algebra. The case study is carried out using the RAISE speciication language, and we report on some experiences using the RAISE tool set.
منابع مشابه
Stepwise Re nement of Control Software - A Case Study Using
We develop a control program for a realistic automation problem by stepwise reenement. We focus on exemplifying appropriate levels of abstraction for the reenement steps. By using phases as a means for abstraction, safety requirements are speciied on a high level of abstraction and can be veriied using process algebra. The case study is carried out using the RAISE speciication language, and we ...
متن کاملBuilding Software Agents by Stepwise Feature Introduction—A Case Study
Stepwise feature introduction is an approach to construct software systems by incrementally extending a system with new features. This approach emphasizes reliable software construction in the meaning that each layer is a superposition refinement of its preceding layer, and each evolution version of the implementation is a data refinement of its preceding version or the initial specification. T...
متن کاملSupporting Design by Pattern-based Transformations
Software development raises the need for traceability, i.e., the ability to control the consistency among software artifacts produced at different stages of the software life-cycle. Traceability cannot be obtained without a systematic transformational approach to software development. In this paper, we present a pattern-based approach1 to the correct stepwise refinement of UML static and dynami...
متن کاملCorrect by Construction Networks using Stepwise Refinement
Building software-defined network controllers is an exercise in software development and, as such, likely to introduce bugs. We present CoCoNet, a framework for SDN development that facilitates both the design and verification of complex networks using stepwise refinement to move from a high-level specification to the final network implementation. A CoCoNet user specifies intermediate design le...
متن کاملAspect Refinement
Stepwise refinement (SWR) is fundamental to software engineering. As aspect-oriented programming (AOP) gains momentum in software development, aspects should be subject to SWR as well. In this paper, we introduce the notion of aspect refinement that unifies AOP and SWR. To reflect this unification to programming language level, we present an implementation technique for refining aspects based o...
متن کامل